<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Dtd" rel="Chapter" href="Dtd.html">
<link title="Xml" rel="Chapter" href="Xml.html">
<link title="XmlParser" rel="Chapter" href="XmlParser.html"><title>Index of types</title>
</head>
<body>
<center><h1>Index of types</h1></center>
<table>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Dtd.html#TYPEcheck_error">check_error</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEchecked">checked</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Dtd.html#TYPEdtd">dtd</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEdtd_attr_default">dtd_attr_default</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEdtd_attr_type">dtd_attr_type</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEdtd_child">dtd_child</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEdtd_element_type">dtd_element_type</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEdtd_item">dtd_item</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Xml.html#TYPEerror">error</a> [<a href="Xml.html">Xml</a>]</td>
<td></td></tr>
<tr><td><a href="Xml.html#TYPEerror_msg">error_msg</a> [<a href="Xml.html">Xml</a>]</td>
<td></td></tr>
<tr><td><a href="Xml.html#TYPEerror_pos">error_pos</a> [<a href="Xml.html">Xml</a>]</td>
<td></td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Dtd.html#TYPEparse_error">parse_error</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEparse_error_msg">parse_error_msg</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td><a href="Dtd.html#TYPEprove_error">prove_error</a> [<a href="Dtd.html">Dtd</a>]</td>
<td></td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="XmlParser.html#TYPEsource">source</a> [<a href="XmlParser.html">XmlParser</a>]</td>
<td><div class="info">
Several kind of resources can contain Xml documents.
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="XmlParser.html#TYPEt">t</a> [<a href="XmlParser.html">XmlParser</a>]</td>
<td><div class="info">
Abstract type for an Xml parser.
</div>
</td></tr>
<tr><td align="left"><br>X</td></tr>
<tr><td><a href="Xml.html#TYPExml">xml</a> [<a href="Xml.html">Xml</a>]</td>
<td><div class="info">
An Xml node is either
	<code class="code">Element (tag-name, attributes, children)</code> or <code class="code">PCData text</code>
</div>
</td></tr>
</table><br>
</body>
</html>